((v1 v2 6) (v1 v3 9) (v2 v3 5) (v1 v4 4) (v2 v4 8) (v3 v4 1)) 36 ((v2 v1) (v1 v4))